|
|
Algorithmic Decision Theory
by Perny, Patrice.
Publication:
. XII, 442 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Groves, Lindsay.
Publication:
. XVIII, 466 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators
by Rendell, Alistair P.
Publication:
. X, 201 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Ruhe, Günther.
Publication:
. XVI, 326 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Networking
by Frey, Davide.
Publication:
. XX, 466 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Qadeer, Shaz.
Publication:
. XII, 322 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Aoki, Toshiaki.
Publication:
. XIV, 512 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing
by Aguilera, Marcos K.
Publication:
. XVI, 450 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in the Message Passing Interface
by Träff, Jesper Larsson.
Publication:
. XVI, 302 p. 108 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Fraser, Gordon.
Publication:
. XVI, 293 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXVII, 663 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in VLSI Design and Test
by Rahaman, Hafizur.
Publication:
. XXIV, 408 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXVII, 765 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in a Heterogeneous World
by Chapman, Barbara M.
Publication:
. XI, 280p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Experimental Algorithms
by Klasing, Ralf.
Publication:
. XIII, 406p. 116 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Grid and Pervasive Computing
by Li, Ruixuan.
Publication:
. XIII, 370p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Derrick, John.
Publication:
. XII, 360p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|